51![Presketches: Algebra without algebras via categories without functors Vaughan Pratt Stanford University April 2010 Abstract Presketches: Algebra without algebras via categories without functors Vaughan Pratt Stanford University April 2010 Abstract](https://www.pdfsearch.io/img/9e7c0e6230c7fc00d15fb0efc743bc17.jpg) | Add to Reading ListSource URL: boole.stanford.eduLanguage: English - Date: 2010-04-08 06:04:04
|
---|
52![Adjoint functors and tree duality Jan Foniok ETH Zurich, Institute for Operations Research R¨ amistrasse 101, 8092 Zurich, Switzerland Adjoint functors and tree duality Jan Foniok ETH Zurich, Institute for Operations Research R¨ amistrasse 101, 8092 Zurich, Switzerland](https://www.pdfsearch.io/img/931ad8f3da011d24de053b5004730e2b.jpg) | Add to Reading ListSource URL: iti.mff.cuni.czLanguage: English - Date: 2016-02-04 05:53:37
|
---|
53![A fully abstract semantics for a higher-order functional language with nondeterministic computation A LAN J EFFREY A BSTRACT. This paper is about the relationship between the theory of monadic types and the practice of c A fully abstract semantics for a higher-order functional language with nondeterministic computation A LAN J EFFREY A BSTRACT. This paper is about the relationship between the theory of monadic types and the practice of c](https://www.pdfsearch.io/img/84fcdee3b1a9324777c7db9205a4e1ac.jpg) | Add to Reading ListSource URL: ect.bell-labs.comLanguage: English - Date: 2010-12-15 21:36:48
|
---|
54![](https://www.pdfsearch.io/img/1ffa10e3c0b202413bb4dad58eccdadd.jpg) | Add to Reading ListSource URL: fritzo.orgLanguage: English - Date: 2014-06-13 18:57:34
|
---|
55![HOPF CATEGORIES E. BATISTA, S. CAENEPEEL, AND J. VERCRUYSSE Abstract. We introduce Hopf categories enriched over braided monoidal categories. The notion is linked to several recently developed notions in Hopf algebra the HOPF CATEGORIES E. BATISTA, S. CAENEPEEL, AND J. VERCRUYSSE Abstract. We introduce Hopf categories enriched over braided monoidal categories. The notion is linked to several recently developed notions in Hopf algebra the](https://www.pdfsearch.io/img/0ccb22af5f21d4567e268b24983af628.jpg) | Add to Reading ListSource URL: homepages.vub.ac.beLanguage: English - Date: 2015-03-18 11:01:38
|
---|
56![Relating Computational Effects by >>-Lifting Shin-ya Katsumata Research Institute for Mathematical Sciences Kyoto University, Kyoto, , Japan Relating Computational Effects by >>-Lifting Shin-ya Katsumata Research Institute for Mathematical Sciences Kyoto University, Kyoto, , Japan](https://www.pdfsearch.io/img/32fc4c684abd02bd93cf406c573e5dc3.jpg) | Add to Reading ListSource URL: www.kurims.kyoto-u.ac.jpLanguage: English - Date: 2011-11-07 10:18:24
|
---|
57![Coproducts of Monads on Set Jiˇr´ı Ad´amek, Stefan Milius Nathan Bowler Paul B. Levy Coproducts of Monads on Set Jiˇr´ı Ad´amek, Stefan Milius Nathan Bowler Paul B. Levy](https://www.pdfsearch.io/img/51aff7d5b87e89c6ed8c17e28a143a83.jpg) | Add to Reading ListSource URL: www.cs.bham.ac.ukLanguage: English - Date: 2012-06-05 09:36:57
|
---|
58![Preorders on Monads and Coalgebraic Simulations Shin-ya Katsumata and Tetsuya Sato Research Institute for Mathematical Sciences, Kyoto University, Kyoto, , Japan {sinya,satoutet}@kurims.kyoto-u.ac.jp Abstract. W Preorders on Monads and Coalgebraic Simulations Shin-ya Katsumata and Tetsuya Sato Research Institute for Mathematical Sciences, Kyoto University, Kyoto, , Japan {sinya,satoutet}@kurims.kyoto-u.ac.jp Abstract. W](https://www.pdfsearch.io/img/373212aec3469c489235234e6e133e54.jpg) | Add to Reading ListSource URL: www.kurims.kyoto-u.ac.jpLanguage: English - Date: 2013-03-26 18:38:51
|
---|
59![arXiv:submitmath.AG] 19 FebAbsolute algebra and Segal’s Gamma sets Alain Connes and Caterina Consani Abstract We show that the basic categorical concept of an s-algebra as derived from the theory arXiv:submitmath.AG] 19 FebAbsolute algebra and Segal’s Gamma sets Alain Connes and Caterina Consani Abstract We show that the basic categorical concept of an s-algebra as derived from the theory](https://www.pdfsearch.io/img/100fd035d5a0b9409ecbad4ca7ddb307.jpg) | Add to Reading ListSource URL: www.alainconnes.orgLanguage: English - Date: 2015-02-21 08:57:02
|
---|
60![Exponentiable functors between quantaloid-enriched categories Maria Manuel Clementino∗, Dirk Hofmann† and Isar Stubbe‡ July 3, 2007§ Abstract. Exponentiable functors between quantaloid-enriched categories are Exponentiable functors between quantaloid-enriched categories Maria Manuel Clementino∗, Dirk Hofmann† and Isar Stubbe‡ July 3, 2007§ Abstract. Exponentiable functors between quantaloid-enriched categories are](https://www.pdfsearch.io/img/f99c9177813057cadade6c23e0655cd1.jpg) | Add to Reading ListSource URL: www-lmpa.univ-littoral.frLanguage: English - Date: 2009-12-14 11:58:39
|
---|